Natural Dualities Through Product Representations: Bilattices and Beyond
نویسندگان
چکیده
منابع مشابه
Natural Dualities Through Product Representations: Bilattices and Beyond
This paper focuses on natural dualities for varieties of bilatticebased algebras. Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations...
متن کاملA general framework for product representations: bilattices and beyond
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations and their product representations. Our principal result is a very general product representation theorem. Specifically, we present a syntactic...
متن کاملNatural Dualities in Partnership
Traditionally in natural duality theory the algebras carry no topology and the objects on the dual side are structured Boolean spaces. Given a duality, one may ask when the topology can be swapped to the other side to yield a partner duality (or, better, a dual equivalence) between a category of topological algebras and a category of structures. A prototype for this procedure is provided by the...
متن کاملRegularising Natural Dualities
Given an algebra M we may adjoin an isolated zero to form an algebra M∞ satisfying all identities u ≈ v true in M for which u and v contain the same variables. Drawing on the structure theory of P lonka sums, we show that if M is a finite, dualisable algebra which is strongly irregular, then M∞ is also dualisable. Turning the construction of M∞ upside-down for the two-element left-zero band, we...
متن کاملProduct representation for default bilattices: an application of natural duality theory
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model situations in which information is prioritised and so can be viewed hierarchically. These default bilattices are not interlaced: the lattice operations of one...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2016
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-016-9651-6